#!/bin/bash
export PATH=$PATH:"$(dirname "$0")"/../../../../bin
pgm=$1
shift
llvm-krun -c PGM "$pgm" Pgm prettyfile -p "$@" -d "$(dirname "$0")/c18-translation-kompiled"
